(integral( x*(2^x) ) from 0 to 7.2)/35